منابع مشابه
On Designing Lightweight Threads for Substrate Software
Existing user-level thread packages employ a \black box" design approach, where the implementation of the threads is hidden from the user. While this approach is often su cient for applicationlevel programmers, it hides critical design decisions that system-level programmers must be able to change in order to provide e cient service for high-level systems. By applying the principles of Open Imp...
متن کاملSoftware Model Checking with Explicit Scheduler and Symbolic Threads
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may hav...
متن کاملFastLane: Software Transactional Memory Optimized for Low Numbers of Threads
Software transactional memory (STM) can lead to scalable implementations of concurrent programs, as the relative performance of an application increases with the number of threads that support it. However, the absolute performance is typically impaired by the overheads of transaction management and instrumented accesses to shared memory. This often leads a STM-based program with a low thread co...
متن کاملSoftware for simulating calcium-triggered exocytotic processes.
We describe a software package for the simulation of exocytotic events from readily releasable pools of secretory vesicles in neuroendocrine cells and presynaptic terminals. The visual package Ca3D_Exolab simulates the entry of Ca(2+) through the calcium channels, the kinetic reactions of calcium with buffers, the diffusion of calcium and mobile buffers, and the kinetic reactions of calcium wit...
متن کاملELISA Analyzer •, a Software to Analyze and Optimize ELISA Data
ELISA data is usually handled in the MS Excel worksheets through different methods and different formulas. Accurate and precise calculations of the data is time consuming and tedious. ELISA Analyzer was developed with a user friendly interface to streamline titration and analysis of the data obtained from ELISA and improve rapid and lucid presentation of the results. The software can also hel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2398857.2384668